
(define (problem typed-blocks1)
	(:domain typed-blocksworld)
	(:requirements :typing)
	(:objects H1 H2 - hand A B C - block)
	(:init (clear A) (on A B) (on B C) (on-table C) (empty H))
	(:goal (and (on-table  B) )))